//package a02;
//
//import java.beans.XMLDecoder;
//import java.io.FileInputStream;
//
//public class TournamentDecoder {
//    static public void main(String[] args) throws Exception {
//	XMLDecoder e = new XMLDecoder(new FileInputStream(args[0]));
//	Tournament tor = (Tournament) e.readObject();
//	e.close();
//	System.out.println(tor.getPs());
//	tor.play();
//	System.out.println(tor.getPs());
//    }
//}
